在不同的环境中进行了广泛的研究并实施了本体论操作，例如对齐和合并，例如，分类操作，关系代数，键入的图形语法，以及不同的关注。但是，在设置中对齐和合并操作共享某些通用属性，例如，分别由（i），（c），（a）和（r）标记为标记的掌握，交换性，关联性和代表性一个本体合并系统$（\ mathfrak {o}，\ sim，\ merge）$，其中$ \ mathfrak {o} $是相关的本体，$ \ sim $是$ \ mathfrak的二进制关系} $建模本体对齐和$ \ Merge $是$ \ Mathfrak {O} $建模本体合并的部分二进制操作。给定一个本体论存储库，有限集$ \ mathbb {o} \ subseteq \ mathfrak {o} $，其合并关闭$ \ widehat {\ mathbb {o}} $是最小的Ontologies关于合并的关闭。如果满足（i），（c），（a）和（r），则$ \ mathfrak {o} $和$ \ wideHat {\ mathbb {o}} $都自然地合并，$ \ WideHat {\ Mathbb {O}} $是有限的，可以有效地计算，包括分类，选择和查询某些特定元素，例如最大本体论和最小本体论。我们还表明，本体合并系统，由本体学给出$ v $对齐对和求职，满足属性：（i），（c），（a）和（r），以便部分订购合并系统，并且可以有效地计算出给定存储库相对于定位的合并关闭。